Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
621	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
622	Language and Program Design for Functional Dependencies Mark P. Jones Iavor Diatchki Portland State University Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-10-02 11:00:21 Data types Type theory Functional programming Data modeling Database constraints Type class Monad Type system Functional dependency Software engineering Computing Computer programming
623	Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-16 19:26:49 Embedded operating systems Type theory Data types TinyOS Wireless sensor network NesC Procedural programming languages Type safety C Computing Software engineering Programming language theory
624	Department of Mathematics, University of California San Diego ***************************** Operator Algebras Seminar Cyril Houdayer Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2015-06-04 13:13:30** Mathematics Von Neumann algebras Functional analysis Lie algebras Operator algebra Amenable group John von Neumann Cartan subalgebra Hyperfinite type II factor Mathematical analysis Abstract algebra Operator theory
625	Object Orientation Chapter Sixteen Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:45:27 Data types Object-oriented programming Programming paradigms Type theory Primitive types Linked list Object C Programming language Software engineering Computing Computer programming
626	A Semantic Analysis of C++ Templates ? Jeremy Siek and Walid Taha , Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:13 Programming language theory Typedef Typename Type safety Template Struct Symbol Type system ALGOL 68 Software engineering C++ Computing
627	A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:40:24 Data types Computer arithmetic Primitive types Type theory Software bugs Integer overflow C Type system Bitwise operation Computing Software engineering Computer programming
628	PHYSICAL REVIEW D 78, Probing minimal supergravity in the type-I seesaw mechanism with lepton flavor violation at the CERN LHC M. Hirsch* and J. W. F. Valle+ AHEP Group, Instituto de Fı´sica Corpuscular Add to Reading List Source URL: porthos.tecnico.ulisboa.pt Language: English - Date: 2009-05-25 09:38:08 Standard Model Neutrinos Electroweak theory Sterile neutrino Neutrino oscillation Physics beyond the Standard Model Neutrino Seesaw mechanism Grand Unified Theory Physics Particle physics Leptons
629	The VLDB Journal manuscript No. (will be inserted by the editor) Providing k-Anonymity in Data Mining? Arik Friedman, Ran Wolff, Assaf Schuster Technion – Israel Institute of Technology Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-09-27 11:51:39 Ethics Data management Mathematical notation Tuple Type theory Relation Anonymity Data mining Finitary relation Mathematics Relational model Data

UPDATE